Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 2065 results
Sort by: relevance publication year

Data Mining Diagnostics and Bug MRIs for HW Bug Localization

PROCEEDINGS ARTICLE published 2015 in Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015

Authors: Monica Farkash | Bryan Hickerson | Balavinayagam Samynathan

https://doi.org/10.7873/date.2015.0149 Actions

BLoG

PROCEEDINGS ARTICLE published 13 June 2010 in Proceedings of the 47th Design Automation Conference

Authors: Sung-Boem Park | Anne Bracy | Hong Wang | Subhasish Mitra

https://doi.org/10.1145/1837274.1837367 Actions

Probabilistic Bug Localization via Statistical Inference based on Partially Observed Data

PROCEEDINGS ARTICLE published June 2014 in Proceedings of the 51st Annual Design Automation Conference

Authors: Sangho Youn | Chenjie Gu | Jaeha Kim

https://doi.org/10.1145/2593069.2593190 Actions

Probabilistic bug localization via statistical inference based on partially observed data

PROCEEDINGS ARTICLE published June 2014 in 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)

Authors: Sangho Youn | Chenjie Gu | Jaeha Kim

https://doi.org/10.1109/dac.2014.6881447 Actions

Development and Application of a Multi-Disciplinary Multi-Regime Design Methodology of a Low-Noise Contra-Rotating Open-Rotor

PROCEEDINGS ARTICLE published 15 June 2015 in Volume 2C: Turbomachinery

Authors: Michaël Leborgne | Timothée Lonfils | Ingrid Lepot

https://doi.org/10.1115/gt2015-43432 Actions

An Efficient Approach To Multi-layer Layer Assignment With Application To Via Minimization

PROCEEDINGS ARTICLE published in Proceedings of the 34th Design Automation Conference

Authors: J. Cong

https://doi.org/10.1109/dac.1997.597216 Actions

A Multi-Fidelity Aero-Thermal Design Approach for Secondary Air Systems

PROCEEDINGS ARTICLE published 21 September 2020 in Volume 2C: Turbomachinery

Authors: Dario Amirante | Nicholas J. Hills | Paolo Adami

https://doi.org/10.1115/gt2020-15922 Actions

Multi-Threaded Design of Spectral Imaging Software

PROCEEDINGS ARTICLE published 2005 in 2005 Tampa, FL July 17-20, 2005

https://doi.org/10.13031/2013.19055 Actions

Development of a Multi-Objective Preliminary Design Optimization Approach for Axial Flow Compressors

PROCEEDINGS ARTICLE published 11 June 2018 in Volume 2C: Turbomachinery

Authors: Youwei He | Jinju Sun | Peng Song | Xuesong Wang | Da Xu

https://doi.org/10.1115/gt2018-76155 Actions

A graph-partitioning-based approach for multi-layer constrained via minimization

PROCEEDINGS ARTICLE published 1998 in Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design - ICCAD '98

Authors: Yih-Chih Chou | Youn-Long Lin

https://doi.org/10.1145/288548.289065 Actions

RTL bug localization through LTL specification mining (WIP)

PROCEEDINGS ARTICLE published 9 October 2019 in Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design

Research funded by U.S. Department of Energy (DE-AR0000849)

Authors: Vighnesh Iyer | Donggyu Kim | Borivoje Nikolic | Sanjit A. Seshia

https://doi.org/10.1145/3359986.3361202 Actions

Effective hardware-level thread synchronization for high performance and power efficiency in application specific multi-threaded embedded processors

PROCEEDINGS ARTICLE published October 2015 in 2015 33rd IEEE International Conference on Computer Design (ICCD)

Authors: Mahanama Wickramasinghe | Hui Guo

https://doi.org/10.1109/iccd.2015.7357119 Actions

A new approach to the decomposition of incompletely specified multi-output functions based on graph coloring and local transformations and its application to FPGA mapping

PROCEEDINGS ARTICLE published in Proceedings EURO-DAC '92: European Design Automation Conference

Authors: W. Wan | M.A. Perkowski

https://doi.org/10.1109/eurdac.1992.246238 Actions

A graph-partitioning-based approach for multi-layer Constrained Via Minimization

PROCEEDINGS ARTICLE published in 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287)

https://doi.org/10.1109/iccad.1998.742908 Actions

FaLoFiN: a Hardware Fault Localization Approach via Filtering Nondeterminacy

JOURNAL ARTICLE published 6 August 2010 in Journal of Computer-Aided Design & Computer Graphics

Authors: Yansong Zheng | Dong Tong | Hao Li | Keyi Wang | Xu Cheng

https://doi.org/10.3724/sp.j.1089.2010.10902 Actions

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software

PROCEEDINGS ARTICLE published June 2019 in 2019 19th International Conference on Application of Concurrency to System Design (ACSD)

Authors: Keryan Didier | Albert Cohen | Dumitru Potop-Butucaru | Adrien Gauffriau

https://doi.org/10.1109/acsd.2019.00009 Actions

Multi-threaded reachability

PROCEEDINGS ARTICLE published 2005 in Proceedings. 42nd Design Automation Conference, 2005.

Authors: D. Sahoo | J. Jain | S.K. Iyer | D.L. Dill | E.A. Emerson

https://doi.org/10.1109/dac.2005.193854 Actions

A Machine Learning Approach for Mining the Multidimensional Impact of Urban Form on Community Scale Energy Consumption in Cities

BOOK CHAPTER published 2022 in Design Computing and Cognition’20

Authors: Mina Rahimian | Guido Cervone | Jose P. Duarte | Lisa D. Iulo

https://doi.org/10.1007/978-3-030-90625-2_36 Actions

Decentralized Task Allocation in Multi-Robot Systems via Bipartite Graph Matching Augmented With Fuzzy Clustering

PROCEEDINGS ARTICLE published 26 August 2018 in Volume 2A: 44th Design Automation Conference

Authors: Payam Ghassemi | Souma Chowdhury

https://doi.org/10.1115/detc2018-86161 Actions

Verifying multi-threaded software with impact

PROCEEDINGS ARTICLE published October 2013 in 2013 Formal Methods in Computer-Aided Design

Authors: Bjorn Wachter | Daniel Kroening | Joel Ouaknine

https://doi.org/10.1109/fmcad.2013.6679412 Actions
Feedback: support@crossref.org